Search Results
Ranjit Jhala - Liquid Haskell
#PLTalk with Ranjit Jhala on Liquid Types
LambdaConf 2015 - LiquidHaskell Refinement Types for Haskell Ranjit Jhala
Liquid Types for Haskell
MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
Liquid Haskell
A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq
Ranjit Jhala performs Lambda Style!
Types are a Program Analysis' Best Friend, Ranjit Jhala
Liquidate Your Assets - Reasoning About Resource Usage in Liquid Haskell
Ranjit Jhala - Language-Integrated Verification
Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
